<?php
session_start();

if (!isset($_SESSION['is_logged_in'])) {
     header("Location:index.php");
     die();     // just to make sure no scripts execute
}
?>